Skip to content

MIP-11 revisions for clarity#32

Merged
QEDK merged 3 commits intomainfrom
mip11-gram
Apr 15, 2026
Merged

MIP-11 revisions for clarity#32
QEDK merged 3 commits intomainfrom
mip11-gram

Conversation

@keone
Copy link
Copy Markdown
Collaborator

@keone keone commented Apr 15, 2026

No description provided.

@keone keone requested a review from jhb10c April 15, 2026 05:29
QEDK
QEDK previously requested changes Apr 15, 2026
Copy link
Copy Markdown
Collaborator

@QEDK QEDK left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, with some nits.

Comment thread MIPS/MIP-11.md Outdated
Comment thread MIPS/MIP-11.md
Comment thread MIPS/MIP-11.md Outdated
@jhb10c
Copy link
Copy Markdown
Contributor

jhb10c commented Apr 15, 2026

All updates lgtm. No updates other than what QEDK referenced. One comment: discussions-to needs to be updated in the metadata.

@keone keone dismissed QEDK’s stale review April 15, 2026 18:53

implemented changes

Copy link
Copy Markdown
Collaborator

@QEDK QEDK left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@QEDK QEDK merged commit e275ab8 into main Apr 15, 2026
4 checks passed
@QEDK QEDK deleted the mip11-gram branch April 15, 2026 18:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants